#include <iostream>

using namespace std;

class animal
{
public:
    int weight;
    ~animal()
    {
        cout<<"~animal() called"<<endl;        
    }
};

int main(int argc, char **argv)
{
    animal* pa = NULL;
    delete pa;  //这里没有异常

    cout<<"delete pa done"<<endl;        

	return 0;
}
